Reverse engineering small 4–manifolds
نویسندگان
چکیده
منابع مشابه
Reverse Engineering is Reverse Forward Engineering
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering perspective, we gain the insight that much of this difficulty is caused by design decisions made during system development. Such decisions “hide” the program functionality and performance requirements in the final system ...
متن کاملReverse-engineering Reverse Mathematics
An important open problem in Reverse Mathematics ([16, 25]) is the reduction of the first-order strength of the base theory from IΣ1 to I∆0 + exp. The system ERNA, a version of Nonstandard Analysis based on the system I∆0 + exp, provides a partial solution to this problem. Indeed, Weak König’s lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA,...
متن کاملReverse Reverse-Engineering
Reverse engineering a program constructs a high-level representation suitable for various software development purposes such as documentation or reengineering. Unfortunately however, there are no established guidelines to assess the adequacy of such a representation. We propose two such criteria, completeness and accuracy, and show how they can be determined during the course of reversing the r...
متن کاملReverse Engineering the Process of Small Novice Software Teams
The software-development project success depends on the technical competence of the development team, the quality of its tools and the project-management decisions it makes during the software lifecycle. New requirements, tight delivery schedules and teammember turnaround present the team with challenges. Flexible decision making for effective adaptation to these challenges is an extremely diff...
متن کاملReverse Engineering
This reprint is provided for personal and noncommercial use. For any other use, please send a request to Permissions,
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebraic & Geometric Topology
سال: 2007
ISSN: 1472-2739,1472-2747
DOI: 10.2140/agt.2007.7.2103